-
1 logique des propositions
сущ.общ. логика высказываний, логика предложений, пропозициональная логикаФранцузско-русский универсальный словарь > logique des propositions
-
2 logique
1. adj1) логический2) логичный; последовательный; связныйvous n'êtes pas logique! — вы непоследовательны; вам недостаёт логики!3) разг. нормальный, естественный2. f1) логикаlogique des propositions — логика предложений, высказываний, пропозициональная логикаlogique des classes — логика классов, исчисление классов2) логичность; последовательность; закономерное следствие3) пренебр. абстрактные рассуждения4) вчт. логические схемы; логическое устройство; логическая часть -
3 логика высказываний
-
4 Aussagenlogik (die)
calcul des propositions, logique des propositionsLexique philosophique allemand-français > Aussagenlogik (die)
-
5 логика предложений
ngener. logique des propositions -
6 пропозициональная логика
adjgener. logique des propositionsDictionnaire russe-français universel > пропозициональная логика
-
7 proposition
proposition [pʀɔpozisjɔ̃]feminine nouna. ( = suggestion) proposalb. ( = phrase) clause* * *pʀɔpozisjɔ̃1) ( suggestion) suggestion2) ( offre) proposalfaire des propositions à quelqu'un — euph to proposition somebody
3) Linguistique clause•Phrasal Verbs:* * *pʀɔpozisjɔ̃ nf1) (= offre) offer, proposalJ'accepte ta proposition avec plaisir. — I'll be happy to accept your offer.
J'ai une proposition à vous faire. — I have a proposal to make to you.
2) POLITIQUE proposalsur proposition de; sur la proposition de — proposed by, following a proposal by
3) LINGUISTIQUE clause* * *A nf1 ( suggestion) suggestion;2 ( offre) offer, proposal; faire des propositions concrètes to make concrete proposals; proposition technique/commerciale technical/business proposal;3 ( soumis à l'approbation) proposal; sur (la) proposition du maire at the mayor's instigation; proposition de loi ≈ bill;4 Philos proposition;5 Ling clause; proposition principale/subordonnée/relative main/subordinate/relative clause.B nfpl faire des propositions à qn to proposition sb.[prɔpozisjɔ̃] nom féminin1. [suggestion] suggestionquelqu'un a-t-il une autre proposition à faire? has anyone any other suggestion ou anything else to suggest?2. [offre] offer4. [recommandation] recommendation5. POLITIQUEproposition consécutive ou de conséquence consecutive ou result clauseWould you like me to call him for you? Tu veux que je l'appelle?If you don't mind ou If it's no trouble. Je veux bien, si ça ne vous dérange pasThanks, but I'd rather do it myself. Merci, mais je préfère le faire moi-mêmeIs there anything I can do to help? Est-ce que je peux faire quelque chose?That's very kind of you. Oui, merci, c'est très gentilNo thanks, I'm fine/I can manage. Non, merci, ça va aller/je vais y arriverWhy don't you let us look after him while you're away? Vous ne voulez pas qu'on s'occupe de lui pendant votre absence ?Are you sure you don't mind? Vous êtes sûrs que ça ne vous dérange pas ?No, really, I'll be fine. Non, ça va aller, je vous assureWhat if I tell him? Et si je le lui disais ?Would you mind? Ça ne te dérange pas ?Thanks for offering, but I'd better do it myself. C'est gentil, mais il vaut mieux que je le fasse moi-mêmeYou can stay at my flat for a few days, if you like. Vous pouvez loger chez moi pendant quelques jours, si vous voulezThanks, it's very generous of you to offer. Merci, c'est très gentil de ta partThanks, but we've already got somewhere to stay. Merci, mais nous avons déjà trouvé un endroit -
8 I conjonction copulative
[zapst]¶1 [ajoute un second terme qui enchérit] et en outre, et même (= et quidem): jube prandium accurarier... ; atque actutum, Plaut. Men. 208: dis qu'on prépare à dîner... ; et tout de suite; faciam... ac lubens, Ter. Haut. 763: je te ferai [du bien pour tout cela], et de grand coeur; sine tuo quaestu ac maximo quaestu, Cic. Verr. 3, 52: sans que tu aies eu un profit et un très grand profit, cf. 3, 23; Cat. 1, 9, etc. ; praeclaras duas artes constitueres atque inter se pares, Cic. de Or. 1, 236: tu constituerais deux arts éminents, et, j'ajoute, égaux entre eux; ut viris, Romanis dignum est, Liv. 7, 13, 9: de la manière qui convient à des hommes, à des Romains; confitetur atque ita libenter confitetur, ut... Cic. Caec. 24: il avoue, et il avoue si volontiers que..., cf. Verr. 3, 53; Font, 40; Mur. 15, etc. - avec quidem (equidem): Plaut. Bac. 974, etc.; id estne numerandum in bonis? - ac maxumis quidem, Cic. Leg. 2, 12: doit-on le compter au nombre des biens ? - et même des plus grands biens, cf. de Or. 2, 278; Br. 211; Tusc. 2, 39, etc. - avec etiam: Plaut. Capt. 777, etc.; infirmā atque etiam aegrā valetudine, Cic. Br. 180: d'une santé faible (délicate) et même maladive, cf. Clu. 111; Mur. 2; Cat, 3, 14, etc. - avec adeo: respondit mihi paucis verbis atque adeo fideliter, Plaut. Curc. 333: il m'a répondu en peu de mots, mais aussi avec franchise; cum maximo detrimento atque adeo exitio vectigalium, Cic. Verr. 3, 19: pour le plus grand dommage, ou mieux, pour la ruine des impôts publics, cf. Verr. 3, 21; 3, 33; (Clu. 79; Cat. 2, 27; 1, 9, etc.; non petentem atque adeo etiam absentem creatum tradidere quidam, Liv. 10, 5, 14, il fut nommé consul, selon certains historiens, sans faire acte de candidat, et même, mieux que cela, en son absence. - ac prope, ac paene: et presque: Cic, Verr. 2, 160 ; 3, 78; Dom. 131; Phil 2, 39 ; Div 1, 124, etc. ; Caes. G, 3, 12, 5; 6, 36, 2 [zapst]¶2 simple copule: noctes ac dies, Cic. Arch. 29: nuits et jours; ad frigora atque aestus vitandos, Caes. BG. 6, 22, 3: pour éviter le froid et le chaud; una atque eadem persona, Cic. Cael. 30: une seule et même personne; etiam atque etiam, Cic. Cat. 2, 27, etc.: encore et encore. - le second terme étant souvent le développement ou la définition plus précise du premier: donum dignum Capitolio atque ista arce omnium nationum, Cic Verr. 5, 184: cadeau digne du Capitole, de cette citadelle de toutes les nations [même emploi de que, cohortahorque Fam. 2, 4, 2]. [zapst]¶3 marquant une opposition entre deux propositions: atque hodie primum vidit, Plaut. Merc. 532: et pourtant il l'a vue aujourd'hui pour la première fois. - souvent renforcé par tamen: id sustulit, ac tamen eo contentus non fuit, Cic Verr. 4, 190: il enleva cette statue, mais il ne se tint pas pour satisfait, cf. Pis. 3; de Or. 1, 240, etc. - renforcé par potius: lacrumas mitte ac potius... prospice, Ter. Ad. 335: cesse de pleurer et plutôt considère..., cf. Cic. Amer. 110; Verr. 1, 136; de Or. 1, 220; Off, 1, 67, etc. - opposant une prop. négative, ac non: quasi vero consilii sit res ac non necesse sit, Caes. BG. 7, 38, 7: comme si vraiment la situation réclamait une délibération et que ce ne fût pas une nécessité de..., cf. Cic. Amer. 92 ; Verr. 5, 169 ; Mil, 92 ; Cat. 2, 12, etc. - [après une négative] mais plutôt (au contraire): ne cupide quid agerent, atque ut... mallent, Cic. Off, 1, 33: [les engager] à ne rien faire avec passion, à préférer au contraire, cf. Off. 2, 3 ; Leg. 1, 18 ; de Or. 3, 85, etc. [zapst]¶4 [marquant un rapport temporel] et alors (sur ces entrefaites, à cet instant): quo imus, inquam, ad prandium ? atque illi tacent, Plaut. Capt. 479: où allons-nous, dis-je, pour dîner? et ils se taisent; forte per impluvium despexi in proxumum atque ego aspicio, Plaut. Mil. 288: par hasard j'ai regardé par la gouttière chez le voisin, et (alors) j'aperçois; huc mihi caper deerraverat, atque ego Daphnim aspicio, Virg. B. 7, 6: mon bouc s'était égaré de ce côté-ci; et dans ces entrefaites j'aperçois Daphnis (et voilà que...) - dans la princip. après une subord. temporelle: quom ad portam venio, atque ego illam video praestolarier, Plaut. Ep. 217: quand j'arrive vers la porte, (alors) moi, je la vois qui attend, cf. dum... atque, Plaut. Bac. 279; postquam... atque, Plaut. Merc. 256; quoniam... atque, Plaut. Most. 1050; ut... atque, Plaut. Poen. 650. [zapst]¶5 [en tête d'une phrase, lien logique très lâche et très varié] et j'ajoute que: Cic. Cat. 2, 28; Br. 265, etc. - et pour conclure: Mur. 22 ; Cat. 3, 10, etc. - et d'ailleurs: Off. 1, 5 ; 1, 24 ; 1, 36, etc. - mais (en voilà assez): Off. 1, 27 - [dans un récit, introduisant un fait nouveau] mais alors, or à ce moment: Caes. G. 3, 15, 3; 6, 35, 8, etc.; Cic. Cat. 3, 11, etc. - [annonçant la fin d'un développement] or, or donc: ac de primo quidem officii fonte diximus, Cic, Off. 1, 19: or donc nous avons traité de la première source du devoir, cf. 1, 41; 1, 46; CM 50. etc. - [réflexion, souhait] atque ut (ne), et pour que (pour éviter que): Cic, Amer. 14; Verr. 2, 108; Caec. 62; de Or. 2, 235, etc. ; atque utinam: et fasse le ciel que: Cic. Verr. I, 61, etc. II particule de comparaison, [zapst]¶1 après adaeque, aeque, aequus, alius, alio, aliorsum, aliter, consimilis, contra, contrarius, digne, dispar, dissimilis, idem, ita, item, juxta, par, pariter, perinde, pro eo, proinde, pro portione, protinus, secus, sic, similis, similiter, simul, statim (ULP. Dig. I, 16, 1), talis, totidem; voir ces mots [zapst]¶2 sans antécédent marquant l'idée de comparaison: quem esse amicum ratus sum atque ipsus sum mihi, Plaut. Bac. 549: [cet homme] dont j'ai cru qu'il était mon ami comme je le suis de moi-même, cf. Hor. Ep. 1, 16, 32 II ac si = quasi BELL. HISP. 13, 5 ; P. Fest. 78; 226; 247 [zapst]¶3 après un comparatif accompagné d'une négation: Plaut. Cas. 860; Merc. 897; Ter. And. 698; Catul. 61, 172; Lucr. 2, 350; 3, 96, etc.; Virg. En. 3, 561; Hor. S. 1, 1, 46 ; 1, 2, 22, etc. - sans négat.: Hor. Epo. 15, 5; 12, 11; S. 1, 5, 5; 1, 6, 130. -
9 atquĕ (ac) --- ac devant les consonnes; [écrit souvent adque dans les mss] et en plus de cela.
[ABCR]I conjonction copulative [zapst]¶1 [ajoute un second terme qui enchérit] et en outre, et même (= et quidem): jube prandium accurarier... ; atque actutum, Plaut. Men. 208: dis qu'on prépare à dîner... ; et tout de suite; faciam... ac lubens, Ter. Haut. 763: je te ferai [du bien pour tout cela], et de grand coeur; sine tuo quæstu ac maximo quæstu, Cic. Verr. 3, 52: sans que tu aies eu un profit et un très grand profit, cf. 3, 23; Cat. 1, 9, etc. ; præclaras duas artes constitueres atque inter se pares, Cic. de Or. 1, 236: tu constituerais deux arts éminents, et, j'ajoute, égaux entre eux; ut viris, Romanis dignum est, Liv. 7, 13, 9: de la manière qui convient à des hommes, à des Romains; confitetur atque ita libenter confitetur, ut... Cic. Cæc. 24: il avoue, et il avoue si volontiers que..., cf. Verr. 3, 53; Font, 40; Mur. 15, etc. - avec quidem (equidem): Plaut. Bac. 974, etc.; id estne numerandum in bonis? - ac maxumis quidem, Cic. Leg. 2, 12: doit-on le compter au nombre des biens ? - et même des plus grands biens, cf. de Or. 2, 278; Br. 211; Tusc. 2, 39, etc. - avec etiam: Plaut. Capt. 777, etc.; infirmā atque etiam ægrā valetudine, Cic. Br. 180: d'une santé faible (délicate) et même maladive, cf. Clu. 111; Mur. 2; Cat, 3, 14, etc. - avec adeo: respondit mihi paucis verbis atque adeo fideliter, Plaut. Curc. 333: il m'a répondu en peu de mots, mais aussi avec franchise; cum maximo detrimento atque adeo exitio vectigalium, Cic. Verr. 3, 19: pour le plus grand dommage, ou mieux, pour la ruine des impôts publics, cf. Verr. 3, 21; 3, 33; (Clu. 79; Cat. 2, 27; 1, 9, etc.; non petentem atque adeo etiam absentem creatum tradidere quidam, Liv. 10, 5, 14, il fut nommé consul, selon certains historiens, sans faire acte de candidat, et même, mieux que cela, en son absence. - ac prope, ac pæne: et presque: Cic, Verr. 2, 160 ; 3, 78; Dom. 131; Phil 2, 39 ; Div 1, 124, etc. ; Caes. G, 3, 12, 5; 6, 36, 2 [zapst]¶2 simple copule: noctes ac dies, Cic. Arch. 29: nuits et jours; ad frigora atque æstus vitandos, Caes. BG. 6, 22, 3: pour éviter le froid et le chaud; una atque eadem persona, Cic. Cael. 30: une seule et même personne; etiam atque etiam, Cic. Cat. 2, 27, etc.: encore et encore. - le second terme étant souvent le développement ou la définition plus précise du premier: donum dignum Capitolio atque ista arce omnium nationum, Cic Verr. 5, 184: cadeau digne du Capitole, de cette citadelle de toutes les nations [même emploi de que, cohortahorque Fam. 2, 4, 2]. [zapst]¶3 marquant une opposition entre deux propositions: atque hodie primum vidit, Plaut. Merc. 532: et pourtant il l'a vue aujourd'hui pour la première fois. - souvent renforcé par tamen: id sustulit, ac tamen eo contentus non fuit, Cic Verr. 4, 190: il enleva cette statue, mais il ne se tint pas pour satisfait, cf. Pis. 3; de Or. 1, 240, etc. - renforcé par potius: lacrumas mitte ac potius... prospice, Ter. Ad. 335: cesse de pleurer et plutôt considère..., cf. Cic. Amer. 110; Verr. 1, 136; de Or. 1, 220; Off, 1, 67, etc. - opposant une prop. négative, ac non: quasi vero consilii sit res ac non necesse sit, Caes. BG. 7, 38, 7: comme si vraiment la situation réclamait une délibération et que ce ne fût pas une nécessité de..., cf. Cic. Amer. 92 ; Verr. 5, 169 ; Mil, 92 ; Cat. 2, 12, etc. - [après une négative] mais plutôt (au contraire): ne cupide quid agerent, atque ut... mallent, Cic. Off, 1, 33: [les engager] à ne rien faire avec passion, à préférer au contraire, cf. Off. 2, 3 ; Leg. 1, 18 ; de Or. 3, 85, etc. [zapst]¶4 [marquant un rapport temporel] et alors (sur ces entrefaites, à cet instant): quo imus, inquam, ad prandium ? atque illi tacent, Plaut. Capt. 479: où allons-nous, dis-je, pour dîner? et ils se taisent; forte per impluvium despexi in proxumum atque ego aspicio, Plaut. Mil. 288: par hasard j'ai regardé par la gouttière chez le voisin, et (alors) j'aperçois; huc mihi caper deerraverat, atque ego Daphnim aspicio, Virg. B. 7, 6: mon bouc s'était égaré de ce côté-ci; et dans ces entrefaites j'aperçois Daphnis (et voilà que...) - dans la princip. après une subord. temporelle: quom ad portam venio, atque ego illam video præstolarier, Plaut. Ep. 217: quand j'arrive vers la porte, (alors) moi, je la vois qui attend, cf. dum... atque, Plaut. Bac. 279; postquam... atque, Plaut. Merc. 256; quoniam... atque, Plaut. Most. 1050; ut... atque, Plaut. Poen. 650. [zapst]¶5 [en tête d'une phrase, lien logique très lâche et très varié] et j'ajoute que: Cic. Cat. 2, 28; Br. 265, etc. - et pour conclure: Mur. 22 ; Cat. 3, 10, etc. - et d'ailleurs: Off. 1, 5 ; 1, 24 ; 1, 36, etc. - mais (en voilà assez): Off. 1, 27 - [dans un récit, introduisant un fait nouveau] mais alors, or à ce moment: Caes. G. 3, 15, 3; 6, 35, 8, etc.; Cic. Cat. 3, 11, etc. - [annonçant la fin d'un développement] or, or donc: ac de primo quidem officii fonte diximus, Cic, Off. 1, 19: or donc nous avons traité de la première source du devoir, cf. 1, 41; 1, 46; CM 50. etc. - [réflexion, souhait] atque ut (ne), et pour que (pour éviter que): Cic, Amer. 14; Verr. 2, 108; Caec. 62; de Or. 2, 235, etc. ; atque utinam: et fasse le ciel que: Cic. Verr. I, 61, etc. II particule de comparaison, [zapst]¶1 après adæque, æque, æquus, alius, alio, aliorsum, aliter, consimilis, contra, contrarius, digne, dispar, dissimilis, idem, ita, item, juxta, par, pariter, perinde, pro eo, proinde, pro portione, protinus, secus, sic, similis, similiter, simul, statim (ULP. Dig. I, 16, 1), talis, totidem; voir ces mots [zapst]¶2 sans antécédent marquant l'idée de comparaison: quem esse amicum ratus sum atque ipsus sum mihi, Plaut. Bac. 549: [cet homme] dont j'ai cru qu'il était mon ami comme je le suis de moi-même, cf. Hor. Ep. 1, 16, 32 II ac si = quasi BELL. HISP. 13, 5 ; P. Fest. 78; 226; 247 [zapst]¶3 après un comparatif accompagné d'une négation: Plaut. Cas. 860; Merc. 897; Ter. And. 698; Catul. 61, 172; Lucr. 2, 350; 3, 96, etc.; Virg. En. 3, 561; Hor. S. 1, 1, 46 ; 1, 2, 22, etc. - sans négat.: Hor. Epo. 15, 5; 12, 11; S. 1, 5, 5; 1, 6, 130.Dictionarium latinogallicum > atquĕ (ac) --- ac devant les consonnes; [écrit souvent adque dans les mss] et en plus de cela.
См. также в других словарях:
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique des prédicats — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Calcul Des Propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Calcul des propositions — ● Calcul des propositions partie fondamentale de la logique, qui consiste à opérer des calculs sur des propositions à l aide de règles d inférence ne faisant pas intervenir de quantificateur … Encyclopédie Universelle
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
Theoreme de completude (calcul des propositions) — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français
Théorème de complétude du calcul des propositions — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français
Théorème de complétude (calcul des propositions) — Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P du calcul des propositions : ou bien on… … Wikipédia en Français